R-base-recognize(i;ds;x;k;T;test)
== (Rinit(i;;x;inl ff )  Rframe(i;;x;[k]))
==  Reffect(i;x :   ds;k;T;x;inl (s,v. if test(s,v) then tt else s(x) fi ) ) 

latex

---

clarification:

R-base-recognize(i;ds;x;k;T;test)
== (Rinit(i;;x;inl ff )  Rframe(i;;x;[k / []]))
==  Reffect(i;fpf-join(IdDeq;x : ;ds);k;T;x;inl (s,v. if test(s,v) then tt else s(x) fi ) ) 

latex

Definitions	left  right, Rinit(loc;T;x;v), ff, Rframe(loc;T;x;L), [car / cdr], [], Reffect(loc;ds;knd;T;x;f), f  g, IdDeq, x : v, , inl x , x.A(x), if b then t else f fi , tt, f(a)
FDL editor aliases	R-base-recognize